大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

0
索取号：
作者：Dediu、 Adrian-Horia.、Mart铆n-Vide、 Carlos.、Truthe、 Bianca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Network Security [electronic resource] : 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

0
索取号：
作者：Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Distributed Computing [electronic resource] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings

0
索取号：
作者：Aguilera、 Marcos K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Entertainment Computing - ICEC 2012 [electronic resource] : 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012. Proceedings

0
索取号：
作者：Herrlich、 Marc.、Malaka、 Rainer.、Masuch、 Maic.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking [electronic resource] : International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

0
索取号：
作者：Chessa、 Stefano.、Knauth、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III

0
索取号：
作者：Ayache、 Nicholas.、Delingette、 Herv茅.、Golland、 Polina.、Mori、 Kensaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Service-Oriented and Cloud Computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings

0
索取号：
作者：Paoli、 Flavio.、Pimentel、 Ernesto.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II

0
索取号：
作者：Ayache、 Nicholas.、Delingette、 Herv茅.、Golland、 Polina.、Mori、 Kensaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2012 [electronic resource] : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I

0
索取号：
作者：Ayache、 Nicholas.、Delingette、 Herv茅.、Golland、 Polina.、Mori、 Kensaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

0
索取号：
作者：Gheyi、 Rohit.、Naumann、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

0
索取号：
作者：Alvarez、 Luis.、Mejail、 Marta.、Gomez、 Luis.、Jacobo、 Julio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Visual Computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Fowlkes、 Charless.、Wang、 Sen.、Choi、 Min-Hyung.、Mantler、 Stephan.、Schulze、 J眉rgen.、Acevedo、 Daniel.、Mueller、 Klaus.、Papka、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Security-ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

0
索取号：
作者：Foresti、 Sara.、Yung、 Moti.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

0
索取号：
作者：Gerdt、 Vladimir P.、Koepf、 Wolfram.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theoretical Aspects of Computing-ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

0
索取号：
作者：Roychoudhury、 Abhik.、D鈥橲ouza、 Meenakshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.